package tarantula.experiment.jdom;

import junit.framework.TestCase;

public class JDomFailedTestsDDSlice extends TestCase {
	public void test1() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    org.jdom.UncheckedJDOMFactory var2 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var3 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var4 = "hi!";
	    java.lang.String var5 = "hi!";
	    java.lang.Integer var6 = new java.lang.Integer(0);
	    java.lang.String var7 = "hi!";
	    org.jdom.DocType var8 = var2.docType(var5, var7);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var10 = new org.jdom.filter.ContentFilter(var9);
	    org.jdom.filter.ContentFilter var11 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var12 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var13 = var11.or((org.jdom.filter.Filter)var12);
	    org.jdom.filter.Filter var14 = var0.or((org.jdom.filter.Filter)var11);
	    var11.setDocumentContent();
	    
	    // Checks the contract:  equals-hashcode on var13 and var14
	    assertTrue("Contract failed: equals-hashcode on var13 and var14", var13.equals(var14) ? var13.hashCode() == var14.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var14 and var13
	    assertTrue("Contract failed: equals-hashcode on var14 and var13", var14.equals(var13) ? var14.hashCode() == var13.hashCode() : true);

	  }

	  public void test2() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var2 = new java.lang.Boolean(true);
	    org.jdom.UncheckedJDOMFactory var3 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var4 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var5 = "hi!";
	    java.lang.String var6 = "hi!";
	    java.lang.String var7 = "hi!";
	    org.jdom.DocType var8 = var3.docType(var6, var7);
	    java.lang.Integer var9 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var10 = new org.jdom.filter.ContentFilter(var9);
	    org.jdom.filter.ContentFilter var11 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var12 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var13 = var11.or((org.jdom.filter.Filter)var12);
	    org.jdom.filter.Filter var14 = var0.or((org.jdom.filter.Filter)var11);
	    org.jdom.input.SAXBuilder var15 = new org.jdom.input.SAXBuilder();
	    org.jdom.UncheckedJDOMFactory var16 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var17 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var18 = "hi!";
	    java.lang.String var19 = "hi!";
	    java.lang.Integer var20 = new java.lang.Integer(0);
	    java.lang.String var21 = "hi!";
	    org.jdom.DocType var22 = var16.docType(var19, var21);
	    java.lang.String var23 = var22.getSystemID();
	    org.jdom.Namespace var24 = org.jdom.Namespace.getNamespace(var23);
	    java.lang.String var25 = var24.toString();
	    java.lang.Character var26 = new java.lang.Character(' ');
	    boolean var27 = var15.getIgnoringBoundaryWhitespace();
	    var11.setPIVisible((boolean)var27);
	    
	    // Checks the contract:  equals-hashcode on var13 and var14
	    assertTrue("Contract failed: equals-hashcode on var13 and var14", var13.equals(var14) ? var13.hashCode() == var14.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var14 and var13
	    assertTrue("Contract failed: equals-hashcode on var14 and var13", var14.equals(var13) ? var14.hashCode() == var13.hashCode() : true);

	  }

	  public void test3() throws Throwable {

	    org.jdom.filter.ContentFilter var0 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var1 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var2 = new java.lang.Boolean(true);
	    org.jdom.UncheckedJDOMFactory var3 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var4 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var5 = "hi!";
	    java.lang.String var6 = "hi!";
	    java.lang.Integer var7 = new java.lang.Integer(0);
	    java.lang.String var8 = "hi!";
	    org.jdom.DocType var9 = var3.docType(var6, var8);
	    java.lang.String var10 = "hi!";
	    java.lang.Integer var11 = new java.lang.Integer(0);
	    org.jdom.filter.ContentFilter var12 = new org.jdom.filter.ContentFilter(var11);
	    org.jdom.filter.ContentFilter var13 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var14 = new org.jdom.filter.ContentFilter();
	    java.lang.Boolean var15 = new java.lang.Boolean(true);
	    org.jdom.filter.Filter var16 = var13.or((org.jdom.filter.Filter)var14);
	    org.jdom.filter.Filter var17 = var0.or((org.jdom.filter.Filter)var13);
	    org.jdom.Document var18 = new org.jdom.Document();
	    org.jdom.UncheckedJDOMFactory var19 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var20 = "hi!";
	    java.lang.String var21 = "hi!";
	    java.lang.String var22 = "hi!";
	    org.jdom.Text var23 = var19.text(var22);
	    java.lang.String var24 = "hi!";
	    org.jdom.Text var25 = new org.jdom.Text(var24);
	    org.jdom.filter.ContentFilter var26 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.ContentFilter var27 = new org.jdom.filter.ContentFilter();
	    org.jdom.filter.Filter var28 = var26.or((org.jdom.filter.Filter)var27);
	    java.util.List var29 = var18.removeContent(var28);
	    org.jdom.Document var30 = new org.jdom.Document(var29);
	    org.jdom.filter.ContentFilter var31 = new org.jdom.filter.ContentFilter();
	    org.jdom.UncheckedJDOMFactory var32 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var33 = "hi!";
	    java.lang.String var34 = "hi!";
	    java.lang.Integer var35 = new java.lang.Integer(0);
	    org.jdom.UncheckedJDOMFactory var36 = new org.jdom.UncheckedJDOMFactory();
	    org.jdom.UncheckedJDOMFactory var37 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var38 = "hi!";
	    java.lang.String var39 = "hi!";
	    java.lang.String var40 = "hi!";
	    org.jdom.DocType var41 = var32.docType(var40);
	    org.jdom.UncheckedJDOMFactory var42 = new org.jdom.UncheckedJDOMFactory();
	    java.lang.String var43 = "hi!";
	    java.lang.String var44 = "hi!";
	    java.lang.Character var45 = new java.lang.Character('#');
	    boolean var46 = org.jdom.Verifier.isURICharacter((char)var45);
	    var13.setEntityRefVisible((boolean)var46);
	    
	    // Checks the contract:  equals-hashcode on var16 and var17
	    assertTrue("Contract failed: equals-hashcode on var16 and var17", var16.equals(var17) ? var16.hashCode() == var17.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var17 and var16
	    assertTrue("Contract failed: equals-hashcode on var17 and var16", var17.equals(var16) ? var17.hashCode() == var16.hashCode() : true);

	  }
}
